Software Testing by Statistical Methods Preliminary Success Estimates for Approaches based on Binomial Models, Coverage Designs, Mutation Testing, and Usage Models

نویسنده

  • Charles Hagwood
چکیده

A Task Deliverable under a Collaboration between ITL's Statistical Engineering (898) and Software Diagnostics and Conformance Testing (897) Divisions to pursue Statistical Methods that may be applicable to Software Testing

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testing Several Rival Models Using the Extension of Vuong\'s Test and Quasi Clustering

The two main goals in model selection are firstly introducing an approach to test homogeneity of several rival models and secondly selecting a set of reasonable models or estimating the best rival model to the true one. In this paper we extend Vuong's method for several models to cluster them. Based on the working paper of Katayama $(2008)$, we propose an approach to test whether rival models h...

متن کامل

Random GUI Testing of Android Application Using Behavioral Model

Automated GUI testing based on behavioral model is one of the most efficient testing approaches. By mining user usage, test scenarios can be generated based on statistical models such as Markov chain. However, these works require static analysis before starting the exploration which requires too much prerequisites and time. In this work, we propose a behavioralbased GUI testing approach for mob...

متن کامل

Testing the Reliability of Component-Based Safety Critical Software

Testing remains a fundamentally important way to check that a software program behaves as required, but a weakness of testing is that successful testing only leads to informal quality statements. Even where quantitative methods are employed, it is not clear how the objective statements (e.g. 100% code coverage has been achieved) relate to the statements that are really useful such as “the softw...

متن کامل

Automated Statistical Testing Suite for Software Validation

Software validation is an important activity in order test whether the correct software has been developed. Several testing techniques have been developed, and one of these is statistical usage testing (SUT). The main purpose of SUT is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models. The development of te...

متن کامل

Comparing two testing procedures in unbalanced two-way ANOVA models under heteroscedasticity‎: Approximate degree of freedom and parametric bootstrap approach

‎The classic F-test is usually used for testing the effects of factors in homoscedastic two-way ANOVA models‎. ‎However‎, ‎the assumption of equal cell variances is usually violated in practice‎. ‎In recent years‎, ‎several test procedures have been proposed for testing the effects of factors‎. ‎In this paper‎, ‎the two methods that are approximate degree of freedom (ADF) and parametric bootstr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998